1. Categorical logic and type theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Type theory. ; Categories (Mathematics) ;
2. Categorical logic and type theory
پدیدآورنده : Jacobs, Bart
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Type theory,، Categories )Mathematics(
رده :
QA
9
.
J22